Feeds to Scour
SubscribedAll
Scoured 83078 posts in 694.2 ms
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·15h
📡Erlang BEAM
MCP Transport: Architecture, Boundaries, and Failure Modes
pgedge.com·1d·
Discuss: Hacker News
🌍HTTP Servers
Multi-Paxos – Consensus in Distributed Databases
arpitbhayani.me·10h·
Discuss: Hacker News
↔️Bidirectional Sync
Safe, Fast, and Scalable: Why gRPC-Rust Should Be Your Next RPC Framework
youtube.com·2d·
Discuss: r/rust
🚂Cranelift IR
Claude Code: new Tasks persisting between sessions and Swarms of agents against Context Rot.
dev.to·13h·
Discuss: DEV
🎭Erlang OTP
Abstract Framework for All-Path Reachability Analysis
arxiv.org·2d
🔄Protocol State Machines
The Security Gap in MCP: The Hidden Risks No One Is Talking About
memgraph.com·11h·
Discuss: Hacker News
🏰Capability Machines
Exactly Once Operations: Why Idempotency Belongs in the Business Layer
equatorops.com·13h·
Discuss: Hacker News
🎯Ring Buffers
Teleportal: A real-time collaborative editing framework
pckt.blog·16h·
Discuss: Hacker News
📦Message Serialization
Concurrency Flavours -- Lucian Radu Teodorescu : Standard C++
isocpp.org·2d
🔗Concurrency Primitives
llOOPy lOOPs (Dave Jarvis)
dave.autonoma.ca·23h
🤐Zipper Structures
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·1d·
Discuss: Hacker News
🌊Reactive Languages
Implementing gRPC.
github.com·1d·
Discuss: DEV
📡Network Serialization
The control layer for AI
blog.dottxt.ai·7h·
Discuss: Hacker News
🔀Control Structures
Railway Oriented Programming
fsharpforfunandprofit.com·16h·
Discuss: Hacker News
🚂Error Monads
Modern IoT: Controlling Devices via LINE Bot, MQTT, and Serverless (2026 Edition)
dev.to·1d·
Discuss: DEV
🔐Capability Protocols
DCP-o-matic • Re: CPL as compositions and multiple CPLs
dcpomatic.com·6h
🔄CPS Transforms
Rethinking Time in Computation – From Wall Clocks to State Transitions
d1gesto.blogspot.com·13h·
Discuss: Hacker News
🔀Concurrency Models
Beyond Login Screens: Why Access Control Matters
blog.sucuri.net·4h
🛡️Capability Security
Handling the Dual-Write Problem in Distributed Systems
auth0.com·1d·
Discuss: Hacker News
↔️Bidirectional Sync

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help